翻訳と辞書 Words near each other ・ "O" Is for Outlaw ・ "O"-Jung.Ban.Hap. ・ "Ode-to-Napoleon" hexachord ・ "Oh Yeah!" Live ・ "Our Contemporary" regional art exhibition (Leningrad, 1975) ・ "P" Is for Peril ・ "Pimpernel" Smith ・ "Polish death camp" controversy ・ "Pro knigi" ("About books") ・ "Prosopa" Greek Television Awards ・ "Pussy Cats" Starring the Walkmen ・ "Q" Is for Quarry ・ "R" Is for Ricochet ・ "R" The King (2016 film) ・ "Rags" Ragland ・ ! (album) ・ ! (disambiguation) ・ !! ・ !!! ・ !!! (album) ・ !!Destroy-Oh-Boy!! ・ !Action Pact! ・ !Arriba! La Pachanga ・ !Hero ・ !Hero (album) ・ !Kung language ・ !Oka Tokat ・ !PAUS3 ・ !T.O.O.H.! ・ !Women Art Revolution Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク equivariant differential form ： ウィキペディア英語版 equivariant differential form In differential geometry, an equivariant differential form on a manifold ''M'' acted by a Lie group ''G'' is a polynomial map :$\backslash alpha:\; \backslash mathfrak\; \backslash to\; \backslash Omega^$ *(M) from the Lie algebra $\backslash mathfrak\; =\; \backslash operatorname(G)$ to the space of differential forms on ''M'' that are equivariant; i.e., :$\backslash alpha(\backslash operatorname(g)X)\; =\; g\backslash alpha(X).$ In other words, an equivariant differential form is an invariant element of :$\backslash mathbb()\; \backslash otimes\; \backslash Omega^$ *(M) = \operatorname(\mathfrak^ *) \otimes \Omega^ *(M).〔Proof: with $V\; =\; \backslash Omega^$ *(M), we have: $\backslash operatorname\_G(\backslash mathfrak,\; V)\; =\; \backslash operatorname(\backslash mathfrak,\; V)^G\; =\; (\backslash operatorname(\backslash mathfrak,\; \backslash mathbb)\backslash otimes\; V)^G.$ Note $\backslash mathbb()$ is the ring of polynomials in linear functionals of $\backslash mathfrak$; see ring of polynomial functions. See also http://math.stackexchange.com/questions/101453/equivariant-differential-forms for M. Emerton's comment.〕 For an equivariant differential form $\backslash alpha$, the equivariant exterior derivative $d\_\backslash mathfrak\; \backslash alpha$ of $\backslash alpha$ is defined by :$(d\_\backslash mathfrak\; \backslash alpha)(X)\; =\; d(\backslash alpha(X))\; -\; i\_(\backslash alpha(X))$ where ''d'' is the usual exterior derivative and $i\_$ is the interior product by the fundamental vector field generated by ''X''. It is easy to see $d\_\backslash mathfrak\; \backslash circ\; d\_\backslash mathfrak\; =\; 0$ (use the fact the Lie derivative of $\backslash alpha(X)$ along $X^\backslash \#$ is zero) and one then puts :$H^$ *_G(X) = \operatorname d_\mathfrak/\operatorname d_\mathfrak, which is called the equivariant cohomology of ''M'' (which coincides with the ordinary equivariant cohomology defined in terms of Borel construction.) The definition is due to H. Cartan. The notion has an application to the equivariant index theory. $d\_\backslash mathfrak$-closed or $d\_\backslash mathfrak$-exact forms are called equivariantly closed or equivariantly exact. The integral of an equivariantly closed form may be evaluated from its restriction to the fixed point by means of the localization formula. == References == * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「equivariant differential form」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.